On sequential diagnosis of multiprocessor systems
نویسندگان
چکیده
منابع مشابه
On sequential diagnosis of multiprocessor systems
This paper considers the problem of sequential fault diagnosis for various multiprocessor systems. We propose a simple sequential diagnosis algorithm and show that the degree of sequential diagnosability of any system with N processors is at least ( √ N). We also show upper bounds for various networks. These are the first nontrivial upper bounds for the degree of sequential diagnosability, to t...
متن کاملOn Adaptive Fault Diagnosis for Multiprocessor Systems
We first consider adaptive serial diagnosis for multiprocessor systems. We present an adaptive diagnosis algorithm using N + t− 1 tests, which is the smallest possible number, for an N-processor system modeled by a (2t− 1)-connected graph with at most t faulty processors. We also present an adaptive diagnosis algorithm using minimum number of tests for a system modeled by cube-connected cycles....
متن کاملVerifying Sequential Consistency on Shared-Memory Multiprocessor Systems
In shared-memory multiprocessors sequential consistency o ers a natural tradeo between the exibility a orded to the implementor and the complexity of the programmer's view of the memory. Sequential consistency requires that some interleaving of the local temporal orders of read/write events at di erent processors be a trace of serial memory. We develop a systematic methodology for proving seque...
متن کاملSequential Binaries on a Chip - Multiprocessor 1
Chip-multiprocessors (CMP) are a promising approach for exploiting the increasing transistor count on a chip. To allow sequential applications to be executed on this architecture, current proposals incorporate hardware support to exploit speculative parallelism. However, these proposals either require re-compilation of the source program or use substantial hardware that tailors the architecture...
متن کاملAdaptive Sequential Prefetching in Multiprocessor Systems Using M 5
With the increase in popularity and performance of multiprocessor systems, the cost of memory latency between systems poses a growing issue to developers. Prefetching can address this problem by issuing multiple block requests on a single read miss, bringing in blocks in anticipation of use later. This paper presents an implementation of adaptive sequential prefetching using the M5 simulator.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 2005
ISSN: 0166-218X
DOI: 10.1016/j.dam.2004.08.008